home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / exprules_18.4 < prev    next >
Text File  |  1992-04-03  |  2KB  |  55 lines
  1. %%% EXPERT RULES
  2. %%% version 18.4
  3. %%% The order of these rules can be changed, or new entries can be added.
  4.  
  5. %%% The supervisor runs an unsolved problem with a strategy from top to 
  6. %%% bottom. 
  7. %%% If the expert rule the supervisor retrieved is not a rule of support 
  8. %%% strategy, the rule is executed and next rule is retrieved.
  9. %%% If the expert rule the supervisor retrieved is a rule of support 
  10. %%% strategy, the rule is executed and an unsolved problem is tried under 
  11. %%% the current options.
  12.  
  13. expert_rule(time_limit_coef(1)).
  14. expert_rule(support_list([ur])).
  15. expert_rule(time_limit_coef(1)).
  16. expert_rule(support_list([r])).
  17.  
  18. expert_rule(literal_bound(-1)).
  19. %expert_rule(time_limit_coef(1)).
  20. %expert_rule(support_list([b])).
  21. expert_rule(time_limit_coef(1)).
  22. expert_rule(support_list([f,b])).
  23. expert_rule(time_limit_coef(1)).
  24. expert_rule(support_list([b,f])).
  25. %expert_rule(time_limit_coef(1)).
  26. %expert_rule(support_list([f])).
  27. expert_rule(time_limit_coef(0.5)).
  28. expert_rule(support_list([n])).
  29. expert_rule(time_limit_coef(1)).
  30. expert_rule(support_list([u])).
  31. expert_rule(time_limit_coef(0.5)).
  32. expert_rule(support_list([o])).
  33.  
  34. expert_rule(literal_bound(2)).
  35. %expert_rule(time_limit_coef(0.5)).
  36. %expert_rule(support_list([b])).
  37. expert_rule(time_limit_coef(0.5)).
  38. expert_rule(support_list([f,b])).
  39. expert_rule(time_limit_coef(0.5)).
  40. expert_rule(support_list([b,f])).
  41. expert_rule(time_limit_coef(0.5)).
  42. %expert_rule(support_list([f])).
  43. %expert_rule(time_limit_coef(0.25)).
  44. expert_rule(support_list([n])).
  45. expert_rule(time_limit_coef(0.5)).
  46. expert_rule(support_list([u])).
  47. expert_rule(time_limit_coef(0.25)).
  48. expert_rule(support_list([o])).
  49.  
  50. %%% Specify complete strategies.
  51. complete_strategy([f,b]).
  52. complete_strategy([b,f]).
  53. %complete_strategy([f]).
  54. %complete_strategy([b]).
  55.